141. Theorem proving with the real numbers.
پدیدآورنده : John Harrison
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
QA76
.
9
.
A96
J646
2012
142. Traffic Control and Transport Planning:
پدیدآورنده : by Dušan Teodorović, Katarina Vukadinović.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Civil engineering.,Logic, Symbolic and mathematical.,Mathematics.,Regional economics.
143. Trends in mathematics and computational intelligence /
پدیدآورنده : Maria Eugenia Cornejo, Laszlo T. Koczy, Jesus Medina, Antonio Eduardo De Barros Ruano, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational intelligence.,Computational intelligence.
رده :
Q342
.
T74
2019eb
144. Vollstandige systeme modaler und intuitioni tischor logik
پدیدآورنده : Schutte, Kurt
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Model theory,، Logic symbolic and mathematical
رده :
QA
9
.
7
.
S39V6
145. What Logics Mean
پدیدآورنده : / James W. Garson
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,Semantics,Logic, Symbolic and mathematical,منطق,معنی شناسی,منطق ریاضی
رده :
BC71
.
G37
2013
146. What logics mean : from proof theory to model-theoretic semantics
پدیدآورنده : Garson, James W., 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic,، Semantics,، Logic, Symbolic and mathematical
رده :
BC
71
.
G37W45
148. λ-Calculus and Computer Science Theory :
پدیدآورنده : edited by C. Böhm. B�ohm, C.,
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Science,Computer science.,Logic, Symbolic and mathematical.
رده :
QA9
.
5
E358
1975
